Getting NesC and TinyOS Ready for Prime Time
نویسندگان
چکیده
NesC provides us with many useful additions to the standard C language. Much of these contributions would be beneficial to embedded systems at large, and not just sensor networks. Many papers talk about sensor networks becoming ubiquitous in the next few years. However, without leveraging existing embedded systems developers, this seems far fetched. There are several problems which must be overcome in both the development focus and tools available before TinyOS, or any future platform, is ready for prime time. We discuss some of these problems, and suggest techniques to address them.
منابع مشابه
A Case Study on Prototyping Power Management Protocols for Sensor Networks
Power management is an important problem in battery powered sensor networks as the sensors are required to operate for a long time (usually, several weeks to several months). One of the challenges in developing power management protocols for sensor networks is prototyping. Specifically, existing programming platforms for sensor networks (e.g., nesC/TinyOS) use an event-driven programming model ...
متن کاملRapid Prototyping of Power Management Protocols for Sensor Networks: A Case Study
Power management is an important problem in battery-powered sensor networks as the sensors are required to operate for a long time (usually, several weeks to several months). One of the challenges in developing power management protocols for sensor networks is prototyping. Specifically, existing programming platforms for sensor networks (e.g., nesC/TinyOS) use an event-driven programming model ...
متن کاملTowards a Model Checker for NesC and Wireless Sensor Networks
Wireless sensor networks (WSNs) are expected to run unattendedly for critical tasks. To guarantee the correctness of WSNs is important, but highly nontrivial due to the distributed nature. In this work, we present an automatic approach to directly verify WSNs built with TinyOS applications implemented in the NesC language. To achieve this target, we firstly define a set of formal operational se...
متن کاملTemporal Monitors for TinyOS
Networked embedded systems generally have extremely low visibility of system faults. In this paper, we report on experimenting with online, node-local temporal monitors for networked embedded nodes running the TinyOS operating system and programmed in the nesC language. We instrument the original node software to signal asynchronous atomic events to a local nesC component running a runtime veri...
متن کاملA Systematic Framework for Evolving TinyOS
TinyOS [1] is a key element of the software infrastructure for the research and development community involved in realizing wireless sensor networks (WSNs). In order to improve the long-term impact of the research developed by the WSN community, we contend that it is important to exploit Moore’s Law to augment TinyOS on current and future sensor motes. The tenfold increase in available RAM sinc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008